Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
571	Computing Circumscription Revisited: A Reduction Algorithm Patrick Doherty and Witold. L ukaszewicz and Andrzej Szalas Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:30:59 Predicate logic Model theory Formal languages Circumscription Logic programming Well-formed formula Monadic predicate calculus Atomic formula Function Logic Mathematical logic Mathematics
572	Decidable Model-Checking for a Resource Logic with Production of Resources Natasha Alechina1 and Brian Logan1 and Hoang Nga Nguyen1 and Franco Raimondi2 Abstract. Several logics for expressing coalitional ability under r Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 15:25:23 Philosophy of language Philosophy of mind Semantics Metaphilosophy Philosophy Linear temporal logic Logic Model theory Interpretation
573	Chu Spaces from the Representational Viewpoint Vaughan Pratt Department of Computer Science, Stanford University, Stanford, CA[removed]Abstract Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 14:02:29 Calculus Functions and mappings Model theory Chu space Topology Adjoint functors Continuous function Sheaf Functor Mathematics Mathematical analysis Category theory
574	Chu Spaces Vaughan Pratt Stanford University Notes for the School on Category Theory and Applications University of Coimbra Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2004-12-15 21:06:50 Algebraic structures Category theory Mathematical structures Order theory Model theory Chu space Semilattice Continuous function Structure Mathematics Algebra Abstract algebra
575	Concurrent Kripke Structures Vineet Gupta∗ Dept. of Computer Science Stanford University, CA[removed]removed] January 9, 2005 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:23 Algebraic structures Order theory Boolean algebra Non-classical logic Model theory Semiring Distributivity Modal logic Structure Mathematics Abstract algebra Mathematical logic
576	Chu spaces as a semantic bridge between linear logic and mathematics Vaughan Pratt ∗ Dept. of Computer Science Stanford University Stanford, CA[removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2004-07-27 11:43:04 Category theory Model theory Order theory Monoidal categories Chu space Cartesian closed category Functor Adjoint functors Denotational semantics Mathematics Algebra Abstract algebra
577	Notes on Event structures and Chu Gordon Plotkin January 9, 2005 1 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:07:07 Model theory Mathematical structures Universal algebra Algebraic structures Abstract algebra Structure Alfred Tarski FO Order Mathematics Mathematical logic Logic
578	Simpler Efficient Group Signatures from Lattices⋆,⋆⋆ Phong Q. Nguyen1 , Jiang Zhang2 , and Zhenfeng Zhang2 1 INRIA, France and Tsinghua University, Institute for Advanced Study, China 2 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-01-14 03:25:24 Algebra Public-key cryptography Model theory Structure Universal algebra Lattice problem Group signature Lattice RSA Mathematics Cryptography Abstract algebra
579	This is the full version of an extended abstract published in ACM CCS[removed]Posted as Report[removed]on 19 August 2013; revised 8 September[removed]Algebraic MACs and Keyed-Verification Anonymous Credentials Melissa Chase Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2014-09-16 08:51:21 Applied mathematics Credential Proof of knowledge Zero-knowledge proof Access control NP IP Model theory Cryptographic protocols Identity management Security
580	Mathematics Model Curriculum This is the October 2013 version of the Grade 7 Model Curriculum for Mathematics. The current focus of this document is to provide instructional strategies and resources, and identify misconc Add to Reading List Source URL: education.ohio.gov Language: English - Date: 2014-10-22 15:20:04 Binary operations Elementary mathematics Mathematics education Field theory Algebra Multiplication Addition Rational number Number Mathematics Abstract algebra Elementary arithmetic

UPDATE